Can Model Checking Assure, Distributed Autonomous Systems Agree? An Urban Air Mobility Case Study
نویسندگان
چکیده
منابع مشابه
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilistic product automata (PPA) as a natural model for this kind of systems. To reason about these systems, we propose to use a product version of linear temporal logic (LTL). The main result of the paper is a model-checki...
متن کاملAutomating Model Checking for Autonomous Systems
While autonomous systems offer great promise in terms of capability and flexibility, their reliability is particularly hard to assess. This paper describes research in the use of model checking to support the development of reliable autonomy software. In particular, it presents tools and techniques that we are developing to facilitate the integration of model checking into the main software dev...
متن کاملModel-checking in Simulations of Distributed Systems
Formal verification techniques are promising tools to deal with the problems associated with the design of concurrent systems. However, they are often hard to use and the state-space explosion problem makes that they are not applicable to large size systems. Some techniques exist to allow the use of these methods on larger systems at the cost of giving up the guarantee that errors will be detec...
متن کاملTesting Distributed Systems Through Symbolic Model Checking
The observation of a distributed system’s finite execution can be abstracted as a partial ordered set of events generally called finite (partial order) trace. In practice, this trace can be obtained through a standard code instrumentation, which takes advantage of existing communications between processes to partially order events of different processes. We show that testing that such a distrib...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Computer Science and Applications
سال: 2020
ISSN: 2156-5570,2158-107X
DOI: 10.14569/ijacsa.2020.0111208